#include <stdlib.h>
#include <stdint.h>

#define MAX_DRIVER_SIZE 0xFF

static uint32_t index = 0;
static void *driverObj[MAX_DRIVER_SIZE];

void Driver_add(void *driver) {
    driverObj[index++] = driver;
}

void Driver_free() {
    for (int i = 0; i < index; ++i) {
        free(driverObj[i]);
    }
}


